Finding Implicit Contracts in .NET Components
نویسندگان
چکیده
Are contracts inherent in reusable libraries, or just one design technique among others? To help answer this question, we performed an empirical study of library classes from the .NET Collections library, which doesn’t use Design by ContractTM, to look for unexpressed contracts. This article reports on the buried contracts we have found, and discusses improvements to the architecture ─ especially to the libraries’ ease of learning and ease of use ─ that may result from making the contracts explicit. It extends previous reports [3] [4] [5] [6] with an analysis of the benefits of an a posteriori addition of contracts for the library users.
منابع مشابه
Extracting implicit contracts from .NET components
Can libraries written without explicit support for Design by ContractTM in the language or the method benefit from a posteriori addition of contracts? To help answer this question, we performed an empirical study of library classes from the .NET Collections library, which doesn’t use Design by Contract, to search for unexpressed contracts. This article reports on what we have found, and discuss...
متن کاملSubjective Performance Measures in Optimal Incentive Contracts*
Incentive contracts often include important subjective components that mitigate incentive distortions caused by imperfect objective measures. This paper explores the combined use of subjective and objective performance measures in (respectively) implicit and explicit incentive contracts. We show that the presence of sufficiently effective explicit contracts can render all implicit contracts inf...
متن کاملAutomatic Contract Extraction: Developing a CIL Parser PROJECT DESCRIPTION
Although Design by Contract, as supported by Eiffel (see [2] and [7]), has been shown to provide several benefits, it is not widely used yet. The question arises whether there are implicit, so called “closet contracts” hidden in the documentation or code, even if the underlying language and method do not support them explicitly. This has led to the “Closet Contract Conjecture”, described by Kar...
متن کاملEconomic Evaluation of Fiscal Regime of Buy-Back Contracts in Comparison with Production Sharing Contracts (Case Study: Azadegan Oil Field)
F iscal regime is one of the main differences between petroleum contracts. Fiscal regimes in oil contracts are divided to two main categories namely Concessionary and Contractual Systems. In contractual systems, the main difference between service and production sharing contracts is the way of compensation of contractor services which could be in cash or in kind. In production sharin...
متن کاملAn MDA Approach to Tame Component Based Software Development
The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhibits its provided or required interfaces, hence defining basic contracts between components allowing one to properly wire them. These contractually specified interfaces should go well beyond mere syntactic aspects: they should ...
متن کامل